decidible

Mira otros diccionarios:

• decidible — ► adjetivo LÓGICA Se refiere a la fórmula que es demostrable o refutable dentro de una teoría deductiva …   Enciclopedia Universal

• Decidibilidad — Saltar a navegación, búsqueda En lógica, el término decidible se refiere a la existencia de un método efectivo para determinar si un objeto es miembro de un conjunto de fórmulas. Un sistema lógico o teoría es decidible sintácticamente si el… …   Wikipedia Español

• Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido …   Wikipedia Español

• Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

• Lenguaje formalizado — El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales del lenguaje científico. Incluso hay autores que llegan a opinar que la ciencia en sí misma …   Wikipedia Español

• Problema de decisión — Saltar a navegación, búsqueda En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita. Un problema de decisión es un problema en donde las respuestas… …   Wikipedia Español

• Transductor de estados finitos — Un transductor de estados finitos, o transductor finito, es un autómata finito (o máquina de estados finitos) con dos cintas, una de entrada y otra de salida. Esto contrasta con un autómata finito habitual, que tienes solamente una cinta. Podemos …   Wikipedia Español

• Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

• Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

• Gramática libre de contexto — En lingüística e informática, una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la forma: V → w Donde V es un símbolo no terminal y w es una cadena de terminales y/o no… …   Wikipedia Español